Topological properties of real number representations
نویسندگان
چکیده
منابع مشابه
Topological Properties of Subsets in Real Numbers
The articles [9], [12], [11], [3], [1], [13], [2], [7], [5], [6], [4], [8], and [10] provide the notation and terminology for this paper. For simplicity, we adopt the following convention: n, m are natural numbers, s, g, g1, g2, r, p, q are real numbers, s1, s2 are sequences of real numbers, and X, Y , Y1 are subsets of R. The scheme RealSeqChoice concerns a binary predicate P, and states that:...
متن کاملTopological Properties of Real Normed Space
In this article, we formalize topological properties of real normed spaces. In the first few parts, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real normed subspace. In the middle of the article, we discuss linear functions between real normed speces. Several kinds of subspaces induced by linear functions such as kernel, ima...
متن کاملTopological Properties of Subsets in Real Numbers1
The notation and terminology used in this paper have been introduced in the following articles: [9], [3], [10], [1], [2], [7], [5], [6], [4], and [8]. For simplicity we adopt the following convention: n, m are natural numbers, x is arbitrary, s, g, g1, g2, r, p, q are real numbers, s1, s2 are sequences of real numbers, and X, Y , Y1 are subsets of . In this article we present several logical sc...
متن کاملLocal chromatic number and topological properties of graphs
The local chromatic number of a graph, introduced by Erdős et al. in [3], is the minimum number of colors that must appear in the closed neighborhood of some vertex in any proper coloring of the graph. This talk, based on the papers [13, 14, 15], would like to survey some of our recent results on this parameter. We give a lower bound for the local chromatic number in terms of the lower bound of...
متن کاملTopological Representations of Matroids
One of the foundations of oriented matroid theory is the topological representation theorem of Folkman and Lawrence [8]. It says that an oriented (simple) matroid can be realized uniquely as an arrangement of pseudospheres. That there is no similar interpretation for the class of all matroids has been taken for granted. For instance, “A non-coordinatizable matroid of abstract origin may be thou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00066-4